On an implication connective of ${\rm RM}$.

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Identifying an Honest ${\rm EXP}^{\rm NP}$ Oracle Among Many

We provide a general framework to remove short advice by formulating the following computational task for a function f : given two oracles at least one of which is honest (i.e. correctly computes f on all inputs) as well as an input, the task is to compute f on the input with the help of the oracles by a probabilistic polynomial-time machine, which we shall call a selector. We characterize the ...

متن کامل

Bank ownership, rm value and rm capital structure in Europe*

We investigate the role of banks in the ownership structure of non-…nancial …rms. Distinguishing between banks and other institutional investors as shareholders, we examine the relationship between …nancial institution ownership and the performance of the …rms in which they hold equity. We control explicitly for the capital structure decision of the …rms and the ownership decision of …nancial i...

متن کامل

A RM-Polar Codes

Introduction: Polar codes are a major breakthrough in coding theory [1]. They can achieve Shannon capacity with a simple encoder and a simple successive cancellation (SC) decoder, both with low complexity of the order of ( ) N N log O , where N is the code block size. But for short and moderate lengths, the error rate performance of polar codes with the SC decoding is not as good as LDPC or tur...

متن کامل

On Interactions in the RM-ODP

The RM-ODP definition of interaction is subtle and difficult to understand. On closer inspection, we find that it is in fact invalid. We then attempt to establish the author’s original intentions for this concept, and to provide an effective definition. Our investigations lead us to discover some fundamental flaws in the definitions of interface and of behaviour of an object.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 1986

ISSN: 0029-4527

DOI: 10.1305/ndjfl/1093636612